#pragma once

#define WINVER 0x0601  
#define _WIN32_WINNT 0x0601

#include "windows.h"
#include "windowsx.h"
#include "resource.h"

#include "cnf_sat_solver.h"
#include "job_queue.h"
#include "engine_benchmark.h"

